$\forall$$M_{1}$, $M_{2}$:MsgA. ($M_{1}$ = $M_{2}$) $\Rightarrow$ $M_{1}$ $\subseteq$ $M_{2}$